{
  "$id": "1",
  "status": "Success",
  "stdout": "Hello World!\n",
  "stderr": "",
  "result": "",
  "executionTimeInMilliseconds": 16
}